formaliser — (se) [ fɔrmalize ] v. pron. <conjug. : 1> • 1539; de formel, d apr. lat. formalis ♦ Être choqué d un manquement à la politesse formelle, au savoir vivre, aux conventions sociales. ⇒ s offenser, s offusquer, se piquer, se vexer. Se… … Encyclopédie Universelle
formaliser\ se — formaliser (se) [ fɔrmalize ] v. pron. <conjug. : 1> • 1539; de formel, d apr. lat. formalis ♦ Être choqué d un manquement à la politesse formelle, au savoir vivre, aux conventions sociales. ⇒ s offenser, s offusquer, se piquer, se vexer.… … Encyclopédie Universelle
formaliser — (Brit.) n. one who makes official, one who makes formal; person who makes legally valid; one who gives a form to (also formalizer) … English contemporary dictionary
FORMALISER — (SE). v. pron. S offenser, se piquer, trouver à redire. Il se formalise de tout. Je lui ai parlé franchement, il ne s en est point formalisé. Elle s est formalisée de la liberté qu il a prise … Dictionnaire de l'Academie Francaise, 7eme edition (1835)
se formaliser — formaliser (se) (for ma li zé) v. réfl. S offenser, trouver mauvais. • Je ne saurais me formaliser de cela, VOIT. Lett. 84. • Mon Dieu ! qu as tu ? toujours on te voit en courroux, Et sur rien tu te formalises, MOL. Amphit. II, 3. • Le… … Dictionnaire de la Langue Française d'Émile Littré
se formaliser — ● se formaliser verbe pronominal Se vexer d un manquement aux règles, aux usages ; s offenser : Se formaliser d un oubli. ● se formaliser (synonymes) verbe pronominal Se vexer d un manquement aux règles, aux usages ; s offenser Synonymes : se… … Encyclopédie Universelle
formalisable — formaliser [ fɔrmalize ] v. tr. <conjug. : 1> • 1878; de formel, d apr. l angl. to formalize ♦ Didact. Réduire (un système de connaissances) à ses structures formelles. Formaliser un raisonnement. ⇒ axiomatiser; formalisation. Syntaxe… … Encyclopédie Universelle
formalisers — formaliser (Brit.) n. one who makes official, one who makes formal; person who makes legally valid; one who gives a form to (also formalizer) … English contemporary dictionary
Indéterminabilité — Théorème d incomplétude de Gödel Les théorèmes d incomplétude de Gödel sont deux théorèmes célèbres de logique mathématique, démontrés par Kurt Gödel en 1931 dans son article Über formal unentscheidbare Sätze der Principia Mathematica und… … Wikipédia en Français
Theoreme d'incompletude de Godel — Théorème d incomplétude de Gödel Les théorèmes d incomplétude de Gödel sont deux théorèmes célèbres de logique mathématique, démontrés par Kurt Gödel en 1931 dans son article Über formal unentscheidbare Sätze der Principia Mathematica und… … Wikipédia en Français